Binary decision diagram - PDFSEARCH.IO - Document Search Engine

Binary decision diagram
Results: 113

#	Item
101	On Learning Width Two Branching Programs –Extended Abstract– Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-01 09:16:00 Computational learning theory Boolean algebra Circuit complexity NC Probably approximately correct learning Binary decision diagram Algorithm Computational complexity theory Theoretical computer science Applied mathematics Mathematics
102	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-13 14:27:12 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
103	Combinational Equivalence Checking Using Satisfiability and Recursive Learning João Marques-Silva Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 13:36:52 Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Conjunctive normal form Binary decision diagram Formal equivalence checking Theoretical computer science Mathematics Applied mathematics
104	A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari Add to Reading List Source URL: alumni.cs.ucr.edu Language: English - Date: 2009-01-06 17:15:24 Heuristics Binary decision diagram Boolean algebra Diagrams Model checking Heuristic function Directed acyclic graph Heuristic Mathematical optimization Mathematics Graph theory Operations research
105	CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration Rune M. Jensen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-20 10:39:50 Boolean algebra Diagrams Model checking Clab M2 BackTrack Nuclear physics Systems engineering process Nuclear technology Radioactive waste Binary decision diagram
106	Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Language: English - Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics
107	Graph-Based Algorithms for Boolean Function Manipulation12 Randal E. Bryant3 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-01 10:15:43 Directed acyclic graph Graph Binary decision diagram Minor Path decomposition Neighbourhood Graph theory Mathematics Tree
108	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic
109	PDF Document Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2010-10-19 06:16:50 Search algorithms Binary decision diagram Boolean algebra Diagrams Model checking Network flow Breadth-first search Dynamic programming Centrality Mathematics Graph theory Applied mathematics
110	PDF Document Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:29 Model theory Artificial intelligence Knowledge compilation Boolean algebra Model checking Binary decision diagram Interpretation Conjunctive normal form Structure Mathematics Mathematical logic Logic

UPDATE